An Event-B Approach to Data Sharing Agreements
نویسندگان
چکیده
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the deontic notions of obligation, prohibition and permission. In this paper, we present how to model DSAs using the Event-B specification language. Agreement clauses are modelled as temporal-logic formulas that preserve the intuitive meaning of the deontic operators, and constrain the actions that a principal can execute. We have exploited the ProB animator and model checker in order to verify that a system behaves according to its associated DSA and to validate that principals’ actions are in agreement with the DSA clauses.
منابع مشابه
اشتراکگذاری دادههای پژوهشی: رویکردهای ملی و بینالمللی
Information and Communication Technologies (ICTs) have significant role in producing research data in different scientific fields. These data not only lead to generate fields based on research data, but also cause to produce a new paradigm or approach in research which is called Fourth Paradigm or Data Intensive Researches. These researches are based on data sharing by researchers, organization...
متن کاملJudgment-sharing Agreements
Antitrust law condemns price-fixing cartels and seeks to encourage private suits against the conspirators by automatically trebling antitrust damages and by providing for joint and several liability. Because the Supreme Court has held that there is no right to contribution among antitrust violators, this creates the risk of a single defendant being saddled with damages significantly greater tha...
متن کاملExplain the Role of Psychological Capital in Knowledge Sharing of an Organization
Explain the Role of Psychological Capital in Knowledge Sharing of an Organization Abstract The aim of present study was to investigate knowledge sharing approach as essential factor in the advancement of organization's purposes and also the effect of psychological capital dimensions in improving and accelerating of this process and want to measure these effects in transferring knowledge among i...
متن کاملA Repetitive Control- based Approach for Power Sharing among Boost Converters in DC Microgrids
In this paper a repetitive control (RC) approach to improve current sharing between parallel-connected boost converters in DC microgrids is presented. The impact of changes in line impedance on current sharing is investigated. A repetitive controller is designed and connected in series with current controller of the boost converters to control the switching signals such that by regulating of th...
متن کاملA national survey of immunization programs regarding immunization information systems data sharing and use.
OBJECTIVE To determine and characterize practices regarding data sharing and usage (particularly for research) in immunization information systems (IISs), as well as barriers to using such data for research. DESIGN We surveyed immunization program managers (IPMs) associated with all 64 Centers for Disease Control and Prevention grantee immunization programs (IPs) between July and September 20...
متن کامل